'Institute of Electrical and Electronics Engineers (IEEE)'
Publication date
01/01/2013
Field of study
This technical report is an extension of the paper of the same title, which
is to appear at MUCOCOS'13. The technical report proves correctness of the
ELB-trees operations' semantics and that the operations are lock-free